09:00
2026-07-10
infoq.com
artificial-intelligence
Podcast: Formal Methods for Every Engineer in an AI-Powered Future
Gabriela Moreira, a formal methods expert at Informal Systems, discussed on the InfoQ Engineering Culture Podcast how AI is lowering barriers to formal specification and model-based testing through th…